gtkmenu: Really fix menu code

Previous patch f0039aa2a4367df95bda1b6cf3d4a735cafb4eb2
is not correct as it try to fix a bug introduced in commit
3a10216dd01c8d10df235b88c8942b2fda15689b

diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index dbbf311753a26bdb8907196217bda0d7e582fe0d..068f2a338cb91769866edf08d1572741323e8b85 100644 (file)
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -5474,7 +5474,7 @@ get_menu_height (GtkMenu *menu)
   gtk_widget_get_allocation (widget, &allocation);
 
   height = allocation.height;
-  height -= gtk_container_get_border_width (GTK_CONTAINER (widget)) + gtk_widget_get_style (widget)->ythickness * 2;
+  height -= (gtk_container_get_border_width (GTK_CONTAINER (widget)) + gtk_widget_get_style (widget)->ythickness) * 2;
 
   if (!menu->tearoff_active)
     {